home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c++ / 1002 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  2.9 KB
  1. Path: fido.asd.sgi.com!austern
  2. From: bill@gibbons.org (Bill Gibbons)
  3. Newsgroups: comp.std.c++
  4. Subject: Re: sample auto_ptr template
  5. Date: 08 Apr 1996 10:16:05 PDT
  6. Organization: -none-
  7. Approved: austern@isolde.mti.sgi.com
  8. Message-ID: <bill-0804960932250001@bgibbons.vip.best.com>
  9. References: <009A04DA6A831C40.49800EAC@ittpub.nl> <4k0m72$gm1@jabba.lehman.com> <bill-0504961003150001@bgibbons.vip.best.com> <4k4noe$igl@jabba.lehman.com>
  10. NNTP-Posting-Host: isolde.mti.sgi.com
  11. X-Original-Date: Mon, 08 Apr 1996 09:32:25 -0700
  12. X-Auth: PGPMoose V1.1 PGP comp.std.c++
  13.     iQBVAwUBMWlJ1ky4NqrwXLNJAQEHjgH/czVIK5XtZNJ9zkSpRevuxQcJcFWdDfzo
  14.     Ri4BbF6sB3H06GY9+bHY3lKMG05a9pW1s39DPT2Pzz7uyF8oMZ/pgw==
  15.     =j2Xs
  16. Originator: austern@isolde.mti.sgi.com
  17.  
  18. In article <4k4noe$igl@jabba.lehman.com>, ajay@lehman.com (Ajay Kamdar) wrote:
  19.  
  20. > ...
  21. > It is not clear at all that the copy semantics of auto_ptr
  22. > are essential for exception-safe transfer of resources.
  23. > The same example coded as follows does not use
  24. > the copy semantics of auto_ptr:
  25. > 
  26. > 
  27. >     extern X* get_X();   // returns a resource acquired
  28. >                          // by the callee, to be deleted
  29. >                          // by the caller.
  30. > 
  31. >     void f() {
  32. >         auto_ptr<X> ptr = get_X();
  33. >                         // resource allocated by get_X()
  34. >         ...
  35. >    }
  36. > 
  37. > And get_X() is not unnecessarily complicated either:
  38. > 
  39. >    X* get_X()
  40. >    {
  41. >       auto_ptr<X> p = new X;
  42. > 
  43. >       // ... stuff that could throw an exception
  44. > 
  45. >       // We got here. Means normal return.
  46. >       return p.release();
  47. >    }
  48. > 
  49. > What's wrong with this? It doesn't require copy semantics
  50. > for auto_ptr. Yet both the caller and the callee
  51. > are exception safe and there is no loss of clarity.
  52.  
  53. The problem is that it requires handling the raw pointer.
  54. Any time you transfer ownership by using release() to extract
  55. the raw pointer and then later use the raw pointer to
  56. construct another auto_ptr, there is a window where there is
  57. no exception safety.
  58.  
  59. Of course you can carefully craft the code to make sure that
  60. no exceptions can be propagated during the window.  But there
  61. are two problems:
  62.  
  63.   (1) The maintainers of the code may not be as careful about
  64.       exception safety.  When everything is handled by
  65.       auto_ptr the risk of bugs creeping in is smaller.  Such
  66.       bugs are very difficult to find by testing.
  67.  
  68.   (2) The interface of get_X does not implicitly document
  69.       that the returned pointer refers to an object which
  70.       should be automatically deleted on an exception.
  71.  
  72. -- 
  73. Bill Gibbons
  74. bill@gibbons.org
  75. ---
  76. [ comp.std.c++ is moderated.  To submit articles: Try just posting with your 
  77.                 newsreader.  If that fails, use mailto:std-c++@ncar.ucar.edu
  78.   comp.std.c++ FAQ: http://reality.sgi.com/austern/std-c++/faq.html
  79.   Moderation policy: http://reality.sgi.com/austern/std-c++/policy.html
  80.   Comments? mailto:std-c++-request@ncar.ucar.edu 
  81. ]
  82.